以下不属于软件容错技术的是( )。